A Constraint Model for the Settlers Planning Domain
نویسندگان
چکیده
The Settlers planning domain has proved a challenging problem for planning technology. We present a preliminary model of Settlers in the Essence’ specification language. We generate a constraint model for the CSP solver Minion using the automated modelling tool Tailor. We show this model to be competitive with state-of-the-art planning technology.
منابع مشابه
A Two-Stage Chance-Constraint Stochastic Programming Model for Electricity Supply Chain Network Design
Development of every society is incumbent upon energy sector’s technological and economic effectiveness. The electricity industry is a growing and needs to have a better performance to effectively cover the demand. The industry requires a balance between cost and efficiency through careful design and planning. In this paper, a two-stage stochastic programming model is presented for the design o...
متن کاملEstimation of the Domain of Attraction of Free Tumor Equilibrium Point for Perturbed Tumor Immunotherapy Model
In this paper, we are going to estimate the domain of attraction of tumor-free equilibrium points in a perturbed cancer tumor model describing the tumor-immune system competition dynamics. The proposed method is based on an optimization problem solution for a chosen Lyapunov function that can be casted in terms of Linear Matrix Inequalities constraint and Taylor expansion of nonlinear terms. We...
متن کاملA stochastic model for operating room planning under uncertainty and equipment capacity constraints
In the present economic context, the operating theater is considered as a critical activity in health care management. This paper describes a model for operating room (OR) planning under constraint of a unique equipment. At first level we schedule elective surgeries under the uncertainty of using a unique equipment. At the second level we consider emergency surgeries, and at the third le...
متن کاملTactical and operational planning for socially responsible fresh agricultural supply chain
Addressing an integrated decision-making structure for planting and harvesting scheduling may lead to more realistic, accurate, and efficient decision in fresh product supply chain. This study aims to develop an integrated bi-objective tactical and operational planning model for producing and distributing fresh crops. The first objective of the model is to maximize total revenue of supply chain...
متن کاملThe Role of Political Participation of Rural Settlers Regarding Provision of Services in Villages of Mamasani County
Rural tendency toward continual participation of rural settlers in social, economic and political activities is being considered as one of the most prominent factor in rural development .However, it is being argued that political participation of people namely rural settlers does not necessarily lead to high level of awareness and overall and comprehensive social and economic development of sub...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008